type X = {m():T}
